Nuprl Definition : es-LnkTag-deq
11,40
postcript
pdf
es-LnkTag-deq == product-deq(IdLnk;Id;IdLnkDeq;IdDeq)
latex
Definitions
product-deq(
A
;
B
;
a
;
b
)
,
IdLnk
,
Id
,
IdLnkDeq
,
IdDeq
FDL editor aliases
es-LnkTag-deq
origin